The Tychonoff product theorem implies the axiom of choice
نویسندگان
چکیده
منابع مشابه
Zermelo Theorem and Axiom of Choice
The article is continuation of [2] and [1], and the goal of it is show that Zermelo theorem (every set has a relation which well orders it proposition (26)) and axiom of choice (for every non-empty family of non-empty and separate sets there is set which has exactly one common element with arbitrary family member proposition (27)) are true. It is result of the Tarski’s axiom A introduced in [5]...
متن کاملArrow's Theorem, Weglorz' Models and the Axiom of Choice
Applying Weglorz’ models of set theory without the axiom of choice, we investigate Arrow-type social welfare functions for infinite societies with restricted coalition algebras. We show that there is a reasonable, nondictatorial social welfare function satisfying “finite discrimination”, if and only if in Weglorz’ model there is a free ultrafilter on a set representing the individuals. AMS-subj...
متن کاملA Proof of the Schauder - Tychonoff Theorem
We present a new proof of the version of the Shauder-Tychonov theorem provided by Coppel in Stability and Asymptotic Behavior of Differential Equations, Heath Mathematical Monographs, Boston (1965). Our alternative proof mainly relies on the Schauder fixed point theorem.
متن کاملThe Existence of Level Sets in a Free Group Implies the Axiom of Choice
Since all known proofs of the NIELSEN-SCHREIER theorem (every subgroup of a free group is free, henceforth denoted by (NS)) make use of the axiom of choice (AC) it is reasonable to conjecture that some form of (AC) is necessary to prove (NS). (See [ l ] , [3], [5] and [S] for several proofs of (NS).) This conjecture was verified by LAUCHLI in [4], where it was shown that the negation of (NS) is...
متن کاملThe Axiom of Choice
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1950
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-37-1-75-76